Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
931	Logic, Programming and Prolog (Supplement) Ulf Nilsson Dept of Computer and Information Science Link¨oping University [removed] Add to Reading List Source URL: ima.udg.edu Language: English - Date: 2007-02-12 09:49:53 Computing Constraint logic programming Prolog Function Finitary relation Mathematical optimization B-Prolog Constraint satisfaction Constraint programming Software engineering Computer programming
932	DRAFT Report #[removed]EXPERIMENTAL ANALYSIS OF PRIVACY LOSS IN DCOP ALGORITHMS Add to Reading List Source URL: www.usc.edu Language: English - Date: 2008-05-28 06:16:48 Mathematical optimization Computing DCOP Internet privacy Software Privacy Information theory Ethics Constraint programming Distributed constraint optimization
933	GradE 12 aPPliEd MathEMatiCs (40s) Grade 12 Applied Mathematics (40S) is intended for students considering post-secondary studies that do not require a study of theoretical calculus. It is context driven and promotes the Add to Reading List Source URL: www.edu.gov.mb.ca Language: English - Date: 2013-09-03 10:46:53 Problem solving Mathematics Automated theorem proving Constraint programming Deduction Reasoning system Permutation Matrix Differential equation Artificial intelligence Educational psychology Cognition
934	Addressing Rank Degeneracy in Constraint-Reduced Interior-Point Methods for Linear Optimization Luke B. Winternitz∗ Andr´e L. Tits† Add to Reading List Source URL: www.ece.umd.edu Language: English - Date: 2012-11-14 11:17:32 Operations research Convex optimization Linear programming Quadratic programming Interior point method Linear least squares Karush–Kuhn–Tucker conditions Duality Mathematical optimization Numerical analysis Mathematics
935	ADAPTIVE CONSTRAINT REDUCTION FOR CONVEX QUADRATIC PROGRAMMING∗ ´ L. TITS§ JIN HYUK JUNG† , DIANNE P. O’LEARY‡ , AND ANDRE Abstract. We propose an adaptive, constraint-reduced, primal-dual interior-point algori Add to Reading List Source URL: www.ece.umd.edu Language: English - Date: 2012-01-11 10:10:21 Linear algebra Linear programming Interior point method Quadratic programming Lagrange multiplier Matrix Vector space Karush–Kuhn–Tucker conditions Algebra Mathematics Mathematical optimization
936	Analysis of Boomerang Differential Trails via a SAT-Based Constraint Solver URSA Aleksandar Kircanski 1495E 28th St, 4B, Brooklyn, NY, 11229, US Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-07-18 13:28:11 Stream ciphers Differential cryptanalysis Boomerang attack Block cipher E0 XTEA Linear feedback shift register Constraint programming Salsa20 Cryptography Pseudorandom number generators SHACAL
937	NLPAPI: An API to Nonlinear Programming Problems. Reference Michael E. Henderson IBM Research Division T. J. Watson Research Center Yorktown Heights, NY 10598 Add to Reading List Source URL: www.coin-or.org Language: English - Date: 2011-09-11 15:32:26 Mathematical analysis Applied mathematics Convex optimization Linear programming Nonlinear system Matrix Constraint Nonlinear programming Mathematical optimization Operations research Mathematics
938	idMesh: Graph-Based Disambiguation of Linked Data Philippe Cudré-Mauroux Parisa Haghani Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-02-12 11:04:20 Applied mathematics Graphical model Constraint graph Graph EXPRESS Record linkage Causality Data model Entity-relationship model Mathematics Graph theory Constraint programming
939	1 FEASIBLE SEQUENTIAL QUADRATIC PROGRAMMING FOR FINELY DISCRETIZED PROBLEMS FROM SIP Add to Reading List Source URL: www.ece.umd.edu Language: English - Date: 2004-11-07 22:16:25 Mathematics Sequential quadratic programming Quadratic programming Karush–Kuhn–Tucker conditions Active set Linear programming Constraint Line search Mathematical optimization Mathematical analysis Applied mathematics
940	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-01-20 04:13:04 C++ Generic programming Concepts Template Constraint satisfaction Class ALGOL 68 C Typename Software engineering Computing Computer programming

UPDATE